Visual Inference Specification Methods for Modularized Rulebases. Overview and Integration Proposal
نویسندگان
چکیده
The paper concerns selected rule modularization techniques. Three visual methods for inference specification for modularized rulebases are described: Drools Flow, BPMN and XTT2. Drools Flow is a popular technology for workflow or process modeling, BPMN is an OMG standard for modeling business processes, and XTT2 is a hierarchical tabular system specification method. Because of some limitations of these solutions, several proposals of their integration are given.
منابع مشابه
Rule Modularization and Inference Solutions – a Synthetic Overview
Rule–based expert systems proved to be a successful AI technology in a number of areas. Building such systems requires creating a rulebase, as well as providing an effective inference mechanism that fires rules appropriate in a given context. The paper briefly discusses main rule inference algorithms Rete, TREAT and Gator. Since large rulebases often require identifying certain rule clusters, m...
متن کاملInference and Learning in Large Factor Graphs with Adaptive Proposal Distributions and a Rank-based Objective
Large templated factor graphs with complex structure that changes during inference have been shown to provide state-of-the-art experimental results in tasks such as identity uncertainty and information integration. However, inference and learning in these models is notoriously difficult. This paper formalizes, analyzes and proves convergence for the SampleRank algorithm, which learns extremely ...
متن کاملIncorporating Formal Specifications to Jacobson's Methodology
It is worthwhile mentioning that the area of formal specifications, particularly as refers to object orientation, has not been widely developed, due to its proposal being recent and novel, mixing the traditional benefits of formal specification languages (consistency, completion and lack of ambiguity in the software developed) with object-oriented characteristics such as encapsulation, inherita...
متن کاملDatabase Modularization applied to System Evolution
Evolutionary development needs to deal with constant changes in requirements, including new or complement and change existent ones. Most of time, to accommodate requirements, changes in database schema are mandatory, in addition to software code modification. This work ́s proposal helps to conduct these changes with minor impact in software dependability, providing a structured and trustworthy m...
متن کاملIntegrating formal methods into traditional practices for software development: an overview
This paper shows an overview of a research project for integrating formal methods in popular practices for software development in México. The article shows only the main results from the survey about methods and practices and an overview of the initial proposal of practices applying lightweight formal methods to requirements specification and software modelling. Keywords— requirements specific...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1109.0621 شماره
صفحات -
تاریخ انتشار 2010